dimension of subspace is less than the dimension of vector space